Search Results
Specifying & verifying Solidity contracts by Martin Lundfall
Formal verification: the road to complete security of smart contracts - Martin Lundfall
Martin Lundfall: "Smart contracts as inductive systems"
Formal Verification of Financial Protocols | Martin Lundfall
Formal Verification of Smart Contracts with the th2 Automation Framework
Formal Verification of Smart Contracts Made Easy (Devcon5)
ZKPodcast: Formal Verification with Martin Lundfall
Formally Verified EVM Golf and Reverse Bug Bounties by Martin Lundfall, Lev Livnev (Devcon5)
VerX: Safety Verification of Smart Contracts
EthCC 2: Martin Lundfall
SmartPulse: Automated Checking of Temporal Properties in Smart Contracts
Lightning Talk: Martin Lundfall (Maker/Dapphub)
